منابع مشابه
Stephen Hawking's Community-Bound Voice A Functional Investigation of Self-Mentions in Stephen Hawking's Scientific Prose
Thanks to the development of the concept of metadiscourse, it is now widely acknowledged that academic/scientific writing is not only concerned with communicating purely propositional meanings: what is communicated through academic/scientific communication is seen to be intertwined with the negotiation of social and interpersonal meanings. While a large number of so called metadiscoursal resour...
متن کاملReminiscence as autobiographical memory: a catalyst for reminiscence theory development
Research on the psychological outcomes of reminiscence techniques has led to equivocal findings. The goal of this paper is to advance current theory guiding research on reminiscence by examining the implications of viewing reminiscence as a type of autobiographical memory. Butler’s classic paper on reminiscence as ‘ life review’ () is examined, and revisions to this approach are proposed ba...
متن کاملA Probabilistic Kleene Theorem
We provide a Kleene Theorem for (Rabin) probabilistic automata over finite words. Probabilistic automata generalize deterministic finite automata and assign to a word an acceptance probability. We provide probabilistic expressions with probabilistic choice, guarded choice, concatenation, and a star operator. We prove that probabilistic expressions and probabilistic automata are expressively equ...
متن کاملSynchronous Kleene Algebra vs. Concurrent Kleene Algebra
In this year’s CONCUR conference Concurrent Kleene Algebra (CKA) is presented as a general formalism for reasoning about concurrent programs. Also recently Synchronous Kleene Algebra (SKA) was investigated by this author with the purpose of representing and reasoning about actions/programs that have a notion of concurrency in the style of synchrony of the SCCS calculus. CKA has, at first sight,...
متن کاملResearch highlights Cole A . DeForest , a
Mass transport within native human tissue enables delivery of nutrients to and removal of waste from cells embedded in a dense 3D matrix material. Blood flow through cardiovascular networks (e.g., veins and arteries) provides nutrients that can diffuse into the tissue. The ability to deliver nutrients deeper into the tissues is a critical issue in the development of large-scale multicellular or...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1996
ISSN: 0168-0072
DOI: 10.1016/0168-0072(95)00049-6